cp src/kernel /dev/fd/kernel
